nutcracker/nutcracker.util/`Forall{(* -> *) -> *}`

`Forall{(* -> *) -> *}`

trait `Forall{(* -> *) -> *}`[F[_[_]]]

Universally quantified value: ∀ K[_]. F[K]

class Object
trait Matchable
class Any

Value members

Abstract methods

protected def compute[K[_]]: F[K]

Concrete methods

final def apply[K[_]]: F[K]
final def transform[G[_[_]]](f: F `FunctionK{(* -> *) -> *}` G): `Forall{(* -> *) -> *}`[G]

Transform this value by a universally quantified function f: ∀ K[_]. F[K] => G[K]

Transform this value by a universally quantified function f: ∀ K[_]. F[K] => G[K]